Received: from optima.cs.arizona.edu (optima.CS.Arizona.EDU [192.12.69.5])
by cheltenham.cs.arizona.edu (8.8.7/8.8.7) with ESMTP id CAA24589
for <info-sr@cheltenham.cs.arizona.edu>; Tue, 26 May 1998 02:49:41 -0700 (MST)
Received: from arturo.lsi.us.es (arturo.lsi.us.es [150.214.141.54])
by optima.cs.arizona.edu (8.9.0.Beta5/8.9.0.Beta5) with ESMTP id CAA29842
for <info-sr@cs.arizona.edu>; Tue, 26 May 1998 02:48:52 -0700 (MST)
Received: from arturo (localhost [127.0.0.1]) by arturo.lsi.us.es (8.7.6/8.7.3) with SMTP id LAA25554 for <info-sr@cs.arizona.edu>; Tue, 26 May 1998 11:46:14 +0200 (MET DST)
Sender: jperez@lsi.us.es
Message-ID: <356A8F65.191B@lsi.us.es>
Date: Tue, 26 May 1998 11:46:13 +0200
From: "Jose A. Perez Castellanos" <jperez@lsi.us.es>
Organization: Departamento de Lenguajes y Sistemas Informaticos